Skip to content

fix(verifier): resolve CodeQL no-effect Protocol stub#46

Merged
pureliture merged 1 commit into
mainfrom
claude/verifier-codeql
Jun 19, 2026
Merged

fix(verifier): resolve CodeQL no-effect Protocol stub#46
pureliture merged 1 commit into
mainfrom
claude/verifier-codeql

Conversation

@pureliture

Copy link
Copy Markdown
Contributor

Outcome

#45 머지 직전 들어온 CodeQL code-scanning 알림(py/ineffectual-statement, alert #32)을 후속으로 해소한다.

무엇을

VerifierStrategy Protocol의 verify가 본문으로 ...(Ellipsis 표현식)을 써서 CodeQL이 "Statement has no effect"로 플래그했고, 기존 FindingVerifier Protocol(runtime/verify_artifact.py)의 docstring 본문 관례와도 어긋났다.

  • def verify(...): ... → docstring 본문("""Return a verifier result for one finding.""")으로 교체, 하우스 스타일과 일치.
  • 같은 파일의 불필요한 quoted forward-ref 제거(-> "RecordedVerifierStrategy"-> RecordedVerifierStrategy, UP037, from __future__ import annotations 하에 안전).

검증

  • uv run pytest 753 passed, ruff check All checks passed.
  • 동작 변경 없음(Protocol 본문은 런타임 무효, 순수 hygiene). I1~I6 불변식 무관.

🤖 Generated with Claude Code

VerifierStrategy.verify used `...` as its body, which CodeQL flags as
py/ineffectual-statement and which also diverged from the existing
FindingVerifier Protocol house style. Use a docstring body instead, and
drop the now-redundant quoted forward reference (UP037, future annotations).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

@gemini-code-assist gemini-code-assist Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request updates src/security_scanner/core/evaluation/verifier_harness.py by adding a docstring to the verify method of the VerifierStrategy protocol and removing the string quotes from the RecordedVerifierStrategy return type annotation in the from_file classmethod. There are no review comments, so no feedback is provided.

Important

The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.

@pureliture pureliture merged commit bbe8d0c into main Jun 19, 2026
9 checks passed
@pureliture pureliture deleted the claude/verifier-codeql branch June 19, 2026 23:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant